Práce na stejné téma (mají shodná klíčová slova):

quantitative, formal, methods

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 » (celkem 13 prací)
Quantitative Formal Methods for High-level Robot Path Planning
 (Jana Tůmová)

2013, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/e7447/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Quantitative Formal Methods for High-level Robot Path Planning
 (Jana Tůmová)

2013, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/e7447/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Control Strategy Synthesis for Path Planning under Temporal Constraints
 (Mária Svoreňová)

2015, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/soj2g/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Explicit predictive control in application
 (Kirill Lastochkin)

2015, Diplomová práce, Fakulta mechatroniky, informatiky a mezioborových studií / Technická univerzita v Liberci

• http://theses.cz/id//er2fta// | Electrical Engineering and Informatics / Mechatronics | Práce na příbuzné téma

Formal Methods in Optimal Discrete Path Planning with Uncertainty
 (Mária Svoreňová)

2013, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/oaqti/ | Informatika / | Práce na příbuzné téma

Quantitative Formal Methods for High-level Robot Path Planning
 (Jana Tůmová)

2013, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/e7447/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Control Strategy Synthesis for Path Planning under Temporal Constraints
 (Mária Svoreňová)

2015, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/soj2g/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Eletrical Verification Report Editor
 (Marcel Lukčo)

2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/vs9h8/ | Programování a vývoj aplikací / | Práce na příbuzné téma

Signature verification
 (Václav Novák)

2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/pg7gr/ | Informatika / | Práce na příbuzné téma

Efficient Verification of Multi-Objective Queries in Markov Decision Processes
 (Vít Unčovský)

2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/as4mz/ | Informatika / | Práce na příbuzné téma

« 1 2 » (celkem 13 prací)